Daniel 1

Results: 2456



#Item
131

A Multibody Dynamics-Enabled Mobility Analysis Tool for Military Applications Daniel Melanz, Hammad Mazhar, and Dan Negrut 1 Abstract ............................................................ 1

Add to Reading List

Source URL: danielmelanz.com

- Date: 2014-11-13 19:05:58
    132

    PE R SP EC TI V ES O N P SY CH O L O G I CA L S CIE N CE Explaining Away A Model of Affective Adaptation Timothy D. Wilson1 and Daniel T. Gilbert2 1

    Add to Reading List

    Source URL: www.people.virginia.edu

    - Date: 2009-02-20 10:59:40
      133

      Differential Cohesive Type Theory (Extended Abstract)∗ Jacob A. Gross1 , Daniel R. Licata2 , Max S. New3 , Jennifer Paykin4 , Mitchell Riley2 , Michael Shulman5 , and Felix Wellen6 1 University of Pittsburgh, 2 Wesley

      Add to Reading List

      Source URL: hott-uf.github.io

      - Date: 2018-03-28 14:04:14
        134

        Pose Estimation from a Single Depth Image for Arbitrary Kinematic Skeletons Daniel L. Ly1 , Ashutosh Saxena2 and Hod Lipson1 1 School of Mechanical and Aerospace Engineering, 2 Department of Computer Science

        Add to Reading List

        Source URL: pr.cs.cornell.edu

        - Date: 2011-06-26 03:12:38
          135

          Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information Daniel Cabeza Gras 1 and Manuel V. Hermenegildo 1,2 Abstract

          Add to Reading List

          Source URL: cliplab.org

          - Date: 2009-02-12 19:18:43
            136

            A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

            Add to Reading List

            Source URL: jeapostrophe.github.io

            - Date: 2018-04-03 12:30:31
              137

              The deal.II Library, Version 8.5 Daniel Arndt1 , Wolfgang Bangerth2 , Denis Davydov3 , Timo Heister4 , Luca Heltai5 , Martin Kronbichler6 , Matthias Maier7 , Jean-Paul Pelteret8 , Bruno Turcksin∗9 , and David Wells10 1

              Add to Reading List

              Source URL: www.dealii.org

              - Date: 2017-04-06 14:00:01
                138

                Di↵erential Cohesive Type Theory 1 Jacob A. Gross 1 Daniel R. Licata 2 Max S. New3 Jennifer Paykin4 Mitchell Riley2 Michael Shulman5

                Add to Reading List

                Source URL: hott-uf.github.io

                - Date: 2018-03-28 14:04:14
                  139

                  Auctus Technical Paper VersionFebruary 2018 Felipe Silveira, Ariny Guedes, Thiago Araújo, Daniel Figueiredo 1 – Platform Architecture Overview Our main architectural goal at Auctus is to build a platform whic

                  Add to Reading List

                  Source URL: dl.auctus.org

                  - Date: 2018-02-08 13:45:19
                    140

                    Virtualizing Real-World Objects in FRP Daniel Winograd-Cort1, Hai Liu2 , and Paul Hudak3 1 Yale University 2

                    Add to Reading List

                    Source URL: www.thev.net

                    - Date: 2012-04-02 13:21:00
                      UPDATE